Subproblem-Tree Calibration: A Unified Approach to Max-Product Message Passing Huayan Wang Computer Science Department, Stanford University, Palo Alto, CAUSA

Source URL: ai.stanford.edu

Towards a Base Model for UML and OCL Verication? Frank Hilken, Philipp Niemann, Robert Wille, and Martin Gogolla University of Bremen, Computer Science Department DBremen, Germany

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Class diagram
• Diagram
• Activity diagram
• Object Process Methodology
• Entityrelationship model
• YEd

A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1

Source URL: www.cs.bham.ac.uk

• Software
• Theoretical computer science
• Systems engineering
• Unified Modeling Language
• Formal methods
• Logic in computer science
• KeY
• Hybrid system
• Formal verification
• First-order logic
• Proof theory
• Model checking

Modular Embedding of the Object Constraint Language into a Programming Language Fabian Büttner and Martin Gogolla University of Bremen, Computer Science Department, Database Systems Group {green,gogolla}@tzi.de

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• Programming paradigms
• Object Constraint Language
• ECO
• Executable UML
• Imperative programming
• Statement
• Assignment
• Eclipse
• Modeling language

An Approach to Employ Modeling in a Traditional Computer Science Curriculum or: Why Posing Essentials of the Object Constraint Language without Objects and Constraints? Martin Gogolla University of Bremen

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Metamodeling
• Relational model
• Relational algebra
• Profile
• Web Ontology Language
• Relational database
• Null
• Entityrelationship model

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics M. Gogolla1 , L. Hamann1 , F. Hilken1∗, M. Kuhlmann1 , R. France2 1 {gogolla,lhamann,fhilken,mk}@informatik.uni-bremen

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Theoretical computer science
• Unified Modeling Language
• Computing
• Formal methods
• Object Constraint Language
• ECO
• Postcondition
• Object diagram
• Object Process Methodology
• Class diagram
• Invariant

The Science of Security On Adversary Models and Compositional Security A unified view of a wide range of adversary classes and

Source URL: www.andrew.cmu.edu

Filmstripping and Unrolling: A Comparison of Verication Approaches for UML and OCL Behavioral Models? Frank Hilken, Philipp Niemann, Martin Gogolla, and Robert Wille University of Bremen, Computer Science Department

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Object Constraint Language
• ECO
• Dining philosophers problem
• Conceptual model
• Object Process Methodology

A Unified Method for Improving PRF Bounds for a Class of Blockcipher based MACs Mridul Nandi National Institute of Standards and Technology and The George Washington University, Computer Science Department mridul.nandi@g

Source URL: www.isical.ac.in

The Impedance Mismatch in Light of the Unified State Model Piotr Wi´sniewski, Marta Burza´ nska, Krzysztof Stencel Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Toru´

Source URL: csp2011.mimuw.edu.pl